From b4aae03ce525e8e2364814d0fed8f982aefc4958 Mon Sep 17 00:00:00 2001
From: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Date: Mon, 29 Apr 2013 18:04:25 +0100
Subject: [PATCH] xen/arm: do not call __cpu_disable on machine_halt

__cpu_disable shouldn't be called on machine_halt, in fact it cannot
succeed: cpu_disable_scheduler won't be able to migrate away vcpus to
others pcpus.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
---
 xen/arch/arm/shutdown.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/xen/arch/arm/shutdown.c b/xen/arch/arm/shutdown.c
index c1b60afb44..61b528062a 100644
--- a/xen/arch/arm/shutdown.c
+++ b/xen/arch/arm/shutdown.c
@@ -25,7 +25,6 @@ static void raw_machine_reset(void)
 
 static void halt_this_cpu(void *arg)
 {
-    __cpu_disable();
     stop_cpu();
 }
 
-- 
2.30.2